html { height: 100%; }

canvas { border: 0px solid; background: white; margin-top: 50px; display: block; }
#canvas { margin: auto; width: 500px; height: 300px; margin-top: 100px; border: black 0px solid; overflow: hidden; background: white; }

#info { width: 500px; line-height: 130%; padding-top: 20px; }
#jaws-log { font: 11px verdana; width: 500px; padding: 5px; }
#jaws-edit { font: 11px verdana; color: #aaaaaa; background: black; width: 480px; padding: 10px; margin-top: 10px; min-height: 50px; display: none; overflow: auto; }
#jaws-toolbar {
  width: 200px;
  position: fixed;
  top: 0px;
  left: 0px;
  background: #eeeeee;
  height: 600px;
  box-shadow: 0px 0px 10px black;
}

code { font-weight: bold; font-size: 15px; color: #33FF33;}

body {
  font: 13px verdana;
  text-align: left;
  padding: 0px; margin: 0px; 
  width: 500px;
  margin: 0px auto;
  background-color: #ccc;
}

/*
 * We want non-blurry, block retro gfx when scaling! Webkit (chrome/safari) has yet to catch up with this 
 * Also this actually doesn't seem to affect the <canvas>-tag just yet.
 */
html, canvas, img {
  image-rendering: optimizeSpeed;
  image-rendering: optimize-contrast;
  image-rendering: -moz-crisp-edges; /* FF */
  image-rendering: -webkit-optimize-contrast; /* Webkit */
  -ms-interpolation-mode: nearest-neighbor;   /* IE */
  image-rendering: crisp-edges;
}

.borda{
	border-color: black;
	border-style: solid;
}